Integrating -algebras

Integrating L∞-algebras

Integrating L∞-algebras

all of them of degree −1. The symmetric powers should be interpreted in the graded sense: for example the bracket [ , ] restricts to a map ΛL1 → L1. We shall identify the 1-ary bracket [ ] with a differential ∂ on L. The various axioms satisfied by these brackets can be summarized as follows: Let L be the graded vector space with Hom(Li,R) in degree i, and let C(L) := Sym(L) be its symmetric al...

Stochastic process algebras: integrating qualitative and quantitative modelling

Stochastic process algebras (SPA) have emerged from work over the last five years investigating the use of process algebras for performance modelling. Like other stochastic extensions of existing system description techniques, they offer exciting possibilities for integrating qualitative and quantitative analysis. The use of such languages facilitates the early consideration of the temporal pro...

RS-BL-algebras are MV-algebras

We prove that RS-BL-algebras are MV-algebras.

amenability of banach algebras

chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...